Tools and algorithms for the construction and analysis of systems
- Författare
- Ed Brinksma International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1995) Århus :
- (First International workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers E. Brinksma, ... (ed.).)
- Genre
- Konferenspublikation, Konferenser, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 1995 | Tyskland, Berlin, New York | 289 sidor. ill. |